Operational Resolutions and State Transi- Tions in a Categorical Setting

نویسنده

  • Bob Coecke
چکیده

The core of the mathematical development in this paper consists of lifting the — categorically — equivalent descriptions of physical systems by a (i) ‘state space’ or a (ii) ‘property lattice’ — see [14,20,25,26] — to an asymmetrical — i.e., not anymore isomorphic — duality on the level of: (i) ‘possible state’ transitions — ‘possible’ in the sense that an arbitrary initial state is mapped onto all possible outcome states for this

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Evaluation of Board Performance in Iran’s Universities of Medical Sciences

Background The critical role that the board plays in governance of universities clarifies the necessity of evaluating its performance. This study was aimed to evaluate the performance of the boards of medical universities and provide solutions to enhance its performance.   Methods The first phase of present study was a qualitative research in which data were collected through face-to-face semi-...

متن کامل

IIlISSION, ABSORPTION AND PROPAGATION OF ACOUSTIC TU.·WAVES IN SOLIDS

Recent experimental develop menta in generation and detection of THz acoustical phonon. have led to studies of phonon emission, propagation and absorption in solidi. New resulta of this acoustical phonon spectroscopy concern phonon interaction. with collective excitations (phonons, photons, magnons), localized exoitations (resonant scattering of impurities, radiationleas transi. tions) and elec...

متن کامل

A note on outward and inward productions in the categorical graph-grammar approach and Delta-grammars

By proving the correspondence between the usual double-pushout approach and Banach’s inward version in a purely categorical setting, we can extend the latter to noninjective left-hand sides. In the injective case, Banach’s point of view establishes a close relationship between the categorical approach and Kaplan’s ∆-grammars allowing a slight generalization of ∆-grammars and making them an oper...

متن کامل

Categorical Semantics for a Quantum Language∗

We prove a correspondence theorem for a quantum programming language in an axiomatic (categorical) setting. We present a simple whilebased programming language for a machine that has access to Quantum Systems (in particular a system of qubits) and the relevant operations on them. We give (coinciding) operational and denotational semantics for this language at a concrete level (Hilbert spaces an...

متن کامل

L-CONVEX SYSTEMS AND THE CATEGORICAL ISOMORPHISM TO SCOTT-HULL OPERATORS

The concepts of $L$-convex systems and Scott-hull spaces are proposed on frame-valued setting. Also, we establish the categorical isomorphism between  $L$-convex systems and Scott-hull spaces. Moreover, it is proved that the category of $L$-convex structures is  bireflective in the category of $L$-convex systems. Furthermore, the quotient systems of $L$-convex systems are studied.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998